|
Suppose that ''V'' is a non-singular ''n''-dimensional projective algebraic variety over the field F''q'' with ''q'' elements. In number theory, the local zeta function ''Z''(''V'', ''s'') of ''V'' (sometimes called the congruent zeta function) is defined as : where ''N''''m'' is the number of points of ''V'' defined over the degree ''m'' extension F''q''''m'' of F''q''. By the variable transformation , then it is defined by : as the formal power series of the variable ''u''. Equivalently, sometimes it is defined as follows: : : In other word, the local zeta function ''Z(V,u)'' with coefficients in the finite field F is defined as a function whose logarithmic derivative generates the numbers ''Nm'' of the solutions of equation, defining ''V'', in the ''m'' degree extension F''m''. ==Formulation== Given ''F'', there is, up to isomorphism, just one field ''Fk'' with :, for ''k'' = 1, 2, ... . Given a set of polynomial equations — or an algebraic variety ''V'' — defined over ''F'', we can count the number : of solutions in ''Fk'' and create the generating function :. The correct definition for ''Z''(''t'') is to make log ''Z'' equal to ''G'', and so : we will have ''Z''(0) = 1 since ''G''(0) = 0, and ''Z''(''t'') is ''a priori'' a formal power series. Note that the logarithmic derivative : equals the generating function :. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Local zeta-function」の詳細全文を読む スポンサード リンク
|